1. An Introduction to the Technique of Formative Processes in Set Theory
پدیدآورنده: Cantone, Domenico
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع:
رده :
G
87
.
S9
2018
2. Computable set theory
پدیدآورنده: Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Computable functions
رده :
QA
248
.
C26C6
3. Computational Logic and Set Theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
4. Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
5. Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Set theory
رده :
E-BOOK
6. Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Set theory.
رده :
QA
,
248
,.
S364
,
2011
7. Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
8. Computational logic and set theory applying formalized logic to analysis
پدیدآورنده: Schwartz, Jacob T., Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Set theory
رده :
QA
248
.
S364
2011
9. Set theory for computing : from decision procedures to declarative programming with sets
پدیدآورنده: Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Set theory,، Computable functions
رده :
QA
248
.
C26S4
